A 3× 3 Dilation Counterexample
نویسندگان
چکیده
We define four 3×3 commuting contractions which do not dilate to commuting isometries. However they do satisfy the scalar von Neumann inequality. These matrices are all nilpotent of order 2. We also show that any three 3×3 commuting contractions which are scalar plus nilpotent of order 2 do dilate to commuting isometries.
منابع مشابه
Minimization of Counterexamples in SPIN
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster than SPIN does. In particular it still works in linear time. Compared with SPIN’s algorithm, it requires only one additional bit per state stored. We further propose another algorithm to compute a counterexample of minimal s...
متن کاملComputational Aspects of Triangulations with Bounded Dilation
Let T be a triangulation on a planar point set S. If T has bounded dilation, then the shortest path distance between any two vertices approximates their Euclidean distance. We examine if such triangulations can be used to design efficient algorithms for various geometric problems. First, we show that given a triangulation with bounded dilation, one can find the closest pair of points in S in li...
متن کاملCounterexamples in Probabilistic LTL Model Checking for Markov Chains
We propose a way of presenting and computing a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present a counterexample as a pair (α,γ), where α,γ are finite words such that all paths that extend α and have infinitely many occurrences of γ violate the specification. In quantitative probabilistic model checking, ...
متن کاملRefinement equations and spline functions
In this paper, we exploit the relation between the regularity of refinable functions with non-integer dilations and the distribution of powers of a fixed number modulo 1, and show the nonexistence of a non-trivial C∞ solution of the refinement equation with non-integer dilations. Using this, we extend the results on the refinable splines with non-integer dilations and construct a counterexample...
متن کاملA non-existence result on Cameron-Liebler line classes
Cameron-Liebler line classes are sets of lines in PG(3, q) that contain a fixed number x of lines of every spread. Cameron and Liebler classified Cameron-Liebler line classes for x ∈ {0, 1, 2, q2 − 1, q2, q2 + 1} and conjectured that no others exist. This conjecture was disproven by Drudge for q = 3 [8] and his counterexample was generalised to a counterexample for any odd q by Bruen and Drudge...
متن کامل